(VAR X)
(STRATEGY CONTEXTSENSITIVE 
  (g)
  (h)
  (c)
  (d)
)
(RULES 
g(X) -> h(X)
c -> d
h(d) -> g(c)
)